high order predicate calculus
高阶述词演算
热门查询
- foxglove n. 毛地黄
- atypically 不同寻常地 非典型地
- bois [人名] 博伊斯; [地名] 树林、灌丛（法语）
- multicellular adj. [生物] 多细胞的；多空隙的
- equalizer n. 均衡器，[电] 平衡器；平衡装置；使相等的东西
- gyrate adj. 旋涡状的 vi. 旋转
- impulsiveness n. 冲动
- fraying n. 磨损；磨擦后落下的东西；织物磨损后落下的碎片 v. 磨损（fray的ing形式）
- breeding n. 繁殖；饲养；教养；再生 v. 生产；培育；使…繁殖（breed的ing形式） n. (Breeding)人名；(英)布里丁
- quadratic n. 二次方程式 adj. [数] 二次的
- bulldog n. 牛头犬，恶犬；短枪管大型手枪
- ideologically adv. 思想上；意识形态上
- malibu [地名] [美国] 马利布
- refill n. 替换物；再注满 vt. 再装满；再充满 vi. 被再注满
- apiary n. 蜂房；养蜂场
- tattletale n. 告密者；搬弄是非的人；闲谈者
- Murchison n. 默奇森河
- ramble vi. 漫步；漫游；闲逛；漫谈；蔓延 vt. 漫步于… n. 漫步；漫游；随笔
- deanery n. 地方执事（学院院长、系主任）的住宅（或办公室）; 乡区牧师管辖的教区
- regrowth n. [生物] 再生长；后生；再生植被
考试词汇表
- linear deduction
- linear depletion
- linear detection
- linear dichroism
- linear digitiser
- linear dimension
- linear dipendent
- linear discharge
- linear economics
- linear electrode
- linear equalizer
- linear equations
- linear estimator
- linear expansion
- linear explosive
- linear extension
- linear fiber map
- linear filtering
- linear flow rate
- linear foliation
